TAGs: Algebraic methods